theorem Th7: :: QMAX_1:7

for Q being Quantum_Mechanics
for p, q, r being Element of Prop Q st p <==> q & q <==> r holds
p <==> r by Th4;