theorem :: XPRIMES2:2576

canceled;