theorem :: XPRIMES2:2724

canceled;