Pre y Post Condiciones Inductivamente