正交定理

orthogonality theorem