theorem :: XPRIMES2:691

canceled;