1+1が2になる証明はすごい難しいんだぞ