theorem :: MARGREL1:15

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