Proposición que por sí se

infiere de lo demostrado.