theorem Th28: :: MODAL_1:33

for A, B being MP-wff st 'not' A = 'not' B holds
A = B