theorem :: XPRIMES2:9708

canceled;