theorem :: XPRIMES2:7923

canceled;