theorem :: XPRIMES2:6350

canceled;