The proof of the volume of a pyramid.