irmaciones p y q son equivalentes. Se suele decir que p es condición necesaria y suficiente para q. Para demostrarlo es preciso probar que p -> q y que q -> p.</p>
		<p>Para probar p -> q, se suele asumir que p es cierto y proceder con la prueba de q.</p>
		<p>Ejemplo: Demostrar que para que un número sea divisible por 6 es necesario y suficiente que lo sea por 2 y por 3 (Recuerde el teorema de divisibilidad que dice: si a*b es divisible por k entonces a es divisible por k o b es divisible por k).</p>
