proof of theory