theorem Th29: :: MODAL_1:34

for A, B being MP-wff st (#) A = (#) B holds
A = B