わざわざ難しく解いてどうすんだよw
使う定理が減るわけでもないし