Provamos através da lógica, mas descobrimos a partir da intuição.