theorem :: XPRIMES2:1867

canceled;