The First Pythagorean Identity