>>690
g=h は示すべき命題です。
仮定ではありません。