theorem :: XPRIMES2:2926

canceled;