theorem :: XPRIMES2:306

canceled;