erit 'bl' media 'mb', 'be', et 'el' media 'meb'; ergo et quia 'ne' aequatur 'hl', erit 'hb' excessus 'ne' super 'bl': verum 'hb' est etiam excessus 'ne' super 'nba', cum sit excessus 'be' super 'ba': ergo 2 'nb', 'ba' aequantur 'bl'.