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