-------------------------
Diamond Property Equality
-------------------------

Example of a logical theorem.
