Así que en el desarrollo de la teoría, tarde o temprano, aparecerá en forma de teorema.