theorem :: XPRIMES2:2810

canceled;