theorem :: NAT_4:41

canceled;