>>421
証明されているかいないかは天地の差がある