theorem :: XPRIMES2:9727

canceled;