Simplesmente não consigo provar que é o caso