theorem :: XPRIMES2:9701

canceled;