theorem :: XPRIMES2:1897

canceled;