theorem :: XPRIMES2:1712

canceled;