theorem :: XPRIMES2:3967

canceled;