proof + fact, and theoretical, are very different words, I'm really confused by your meaning here