Commensurability of Squares on Proportional Straight Lines/Lemma