theorem :: XPRIMES2:3925

canceled;