theorem :: XPRIMES2:9608

canceled;