theorem :: XPRIMES2:8650

canceled;