theorem :: NAT_1:28

canceled;