theorem :: XPRIMES2:906

canceled;