Una vez que se demuestra la veracidad de una conjetura, esta pasa a ser considerada un teorema de pleno derecho y puede utilizarse como tal para construir otras demostraciones formales.