Self-Distributive Law for Conditional

Theorem
The following is known as the Self-Distributive Law:

Also see

 * Conditional is not Left Self-Distributive