theorem :: XPRIMES2:8988

canceled;