# Teorema recíproco de Sachainker para la ley de Hoare: Dentro de cada pequeño problema hay un gran problema luchando por abrirse paso.