theorem :: NAT_1:30

canceled;