題意の函数があることを示さなきゃ証明にならないのだけど