for B1, B2 being set st B1 <N< B2 holds
(B1 /\ B2) /\ NAT = {}