theorem :: XPRIMES2:1724

canceled;