Theorem_of_the_gnomon loading ...