theorem :: NAT_1:58

canceled;