Pythagorean Identity for Orthonormal Families