theorem :: FIELD_5:7

NAT meets bool NAT