No obstante, hay algunos teoremas importantes para los cuales ningún otro método de demostración ha sido hallado.