Analytical diamon a geometry perpendicularly prove humpus using