theorem :: NAT_1:31

canceled;