>>94
今どきそんな定理を細かくやるよりももっと優先してやるべきことがある