not 6 is trivial by NAT_2:def 1;
hence not Z/ 6 is degenerated ; :: thesis: verum