astronomerna förestält sig , att invånarne på Mars borde känna till förhållandet med hypotenusans kvadrat.