That's a good question. It's impossible to prove that anything besides math itself is absolutely true but we can say that for all known knowledge what is in this paper is true and secure. Unless some new discovery is made the papers show that proof of stake has similar mathematical security properties as proof of work.