>>321
いや、これは論理だから既に証明されている