PS
TASKShear-MJAVA-MThen-Shear-NJAVA-NM-then-NM-and-NShear-N-FirstThen-Shear-PN-then-PMNNPPS
This task builds towards a well-known and elegant proof* of Pythagoras' Theorem.
Once you have solved the task it is not difficult to outline the complete proof.