>>661
証明なんか必要ない。
入力と出力がそれっぽければ、それで良い。