theorem :: XPRIMES2:7904

canceled;