theorem :: XPRIMES2:7291

canceled;