6.3.3
LJ3.KB/GL: 6.3.3. Pythagoras 1
LJ3.KB/GL: 6.3.3.A. Pythagoras 1