theorem :: XPRIMES2:7724

canceled;