theorem :: NAT_1:36

canceled;