Demostración de inferencia iykyk