>>686
単純な足し算が通用しないことが証明された