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.