theorem :: NAT_1:26

canceled;