theorem :: XPRIMES2:8724

canceled;