theorem :: XPRIMES2:391

canceled;