theorem :: XPRIMES2:305

canceled;