theorem :: XPRIMES2:1418

canceled;