There is lots of evidence of the Pythagorean theorem before Pythagoras. The attribution of the rule to him comes centuries after he lived. So likely he worked on codifying and proving the relationship using the Greek deductive and axiomatic system.