Proof of the transcendence of π