theorem :: NAT_1:33

canceled;