Then AE is equal to AF, CE.
Now AE is the square on AB;
AF is the rectangle contained by BA, AC,
for it is contained by DA, AC, and AD is equal to AB;
and CE is the rectangle AB, BC, for BE is equal to AB.
Therefore the rectangle BA, AC together with the rectangle AB, BC is equal to the square on AB.