6.5 表示定理