theorem :: XPRIMES2:9748

canceled;