You don't have to understand any of that stuff, because it's much easier to verify a proof than to discover it.
No tienes que entender nada de eso, porque es mucho más fácil verificar una prueba que descubrirla.