theorem :: NAT_1:29

canceled;