theorem :: XPRIMES2:8704

canceled;