Comment by avodonosov

Maybe you can explain or give a hint, why a function that never returns could prove anything?