「米田補題は数学で最も難しい些細なことだと決めた。」―― @sigfpe