theorem :: MARGREL1:14

for v being boolean object holds TRUE '&' v = v ;