theorem :: XPRIMES2:7988

canceled;