theorem :: XPRIMES2:3926

canceled;