"A* is sound" is proven