シンプレクティック同相であるとは、formula_4からformula_5への