theorem :: XPRIMES2:2611

canceled;