theorem :: XPRIMES2:8772

canceled;