For, since C, D are square, C, D are similar plane numbers.
Therefore one mean proportional number falls between C, D. [VIII. 18]
And, as C is to D, so is A to B;
therefore one mean proportional number falls between A, B also. [VIII. 8]
And A is square;
therefore B is also square. [VIII. 22]
Q. E. D.