How does he prove it?