Square on Binomial Straight Line applied to Rational Straight Line/Lemma