theorem :: NAT_1:56

canceled;