theorem :: NAT_1:27

canceled;