theorem :: XPRIMES2:7987

canceled;