Proper proof by indexing.