theorem :: XPRIMES2:3984

canceled;