theorem :: XPRIMES2:4724

canceled;