theorem :: NAT_1:37

canceled;