>>42
20-5がないのはどうやって証明したの?