>>4>>12によって証明された