theorem :: XPRIMES2:2710

canceled;