¿Qué estas buscando con un teorema? ¿Qué debería decir la última frase de mi prueba? ¿Qué son algunos equivalentes formas de declarar lo que quiero? ¿Hay alguna definición complicada que necesite ser «desenrollada»? ¿Puedo ver alguna suposición que lo haga…