Invariantes: un frame que permite razonar por el absurdo