theorem :: XPRIMES2:836

canceled;