theorem :: XPRIMES2:2578

canceled;