theorem :: MARGREL1:13

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