theorem :: XPRIMES2:9603

canceled;