theorem :: XPRIMES2:7917

canceled;