theorem :: QMAX_1:5

for Q being Quantum_Mechanics
for p being Element of Prop Q holds p <==> p ;