theorem :: XPRIMES2:9725

canceled;