>>203
単関数の標準形の定義を書いてみて