theorem :: XPRIMES2:3987

canceled;