theorem :: NAT_D:20

canceled;