The record set of Pythagoras contains the theorem of Pythagoras, the altitude theorem and the cathetus theorem.