Referencias a teoremas.