theorem Th23: :: AFINSQ_2:23

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