>>27
必要なら自分で書けばいい。
>>28
同じだと証明はできる?