proof (its an assignment)

image.png