Cuando la proposición está expuesta, es imprescindible imaginar la demostración, esto es, encontrar de qué proposición ya sabida debe ser consecuencia, y entre todas las que se pueden sacar de la misma, escoger precisamente aquélla de la cual se trata.