theorem :: XPRIMES2:690

canceled;