theorem Th50: :: INT_4:50

for m being Element of NAT holds
( {} is_CRS_of m iff m = 0 )