次の定理のうち、ここに示されている方程式として書けるものはどれか。