proof of distance formula in 3d