theorem :: NAT_1:46

canceled;