You can't mathematically prove it, because the other stake-holders can roll back to any point of time of their choosing.
That's why I said that PoS 1 != PoS 2 != PoS 3. There is at least one PoS implementation where what you just said is not possible.