天才数学者はみな面倒な論理計算の達人なのにグロタンディーク素数で喜ぶド素人w