ABC予想のときもスタッフが証明に苦労してたな