for x being Element of BOOLEAN * holds QuBL2Nat . (Class (EqBL2Nat,x)) = BL2Nat . x