example 1 proven (*very manually*)