>>207
それは翻訳じゃなくて詳細な機械証明をつけたことになるからいいんじゃね?

やれるもんならやってごらん(挑発)