theorem :: XPRIMES2:924

canceled;