theorem :: XPRIMES2:6818

canceled;