theorem :: XPRIMES2:3960

canceled;