>>846
意味不明な言語を書いて証明を否定しても無駄。