theorem :: XPRIMES2:9724

canceled;