Katika hisabati, ya uhakiki wa de Gua ni ya analog tatu-dimensional ya uhakiki wa Pythagoras.