theorem :: XPRIMES2:686

canceled;