theorem :: XPRIMES2:666

canceled;