theorem :: XPRIMES2:8701

canceled;