まあGaloisがGaussより大数学者なんてことはないけどな