theorem :: XPRIMES2:3964

canceled;