Esto es para evitar "teoremas" erróneos, basados en intuiciones fallidas, de las cuales muchos casos han ocurrido en la historia del tema.