theorem :: XPRIMES2:2580

canceled;