theorem :: NAT_1:34

canceled;