theorem :: NAT_1:32

canceled;