theorem :: XPRIMES2:1765

canceled;