この証明のキーポイントは、\\mathcal^_が\\mathcal_の上で忠実平坦であるという事実である.
この