Nice proof