theorem :: NAT_6:11

canceled;