A direct proof of the finite developments theorem