theorem :: XPRIMES2:866

canceled;