Prove:
(Proposition (equal classes)) ,
under the assumptions:
We assume
(1) ,
and show
(2) .
We prove () by the deduction rule.
We assume
(5)
and show
(6) .
Formula (), using (), is implied by:
(7) .
We show () by mutual inclusion:
⊆: We assume
⊇: Now we assume
•