数学飽きかけていたが、米田の補題とマシュケの定理を証明する　という目標が建てれてから全然頑張れる