theorem :: NAT_1:57

canceled;