Derivation of the volume of pyramid