theorem :: XPRIMES2:1693

canceled;