theorem :: XPRIMES2:6650

canceled;