>>1
証明が暗くブスに見える
>>12はなんで明るい証明なのか