Pappus' Extension of Pythagorean Theorem