質問
マグマの群判定と、群の単純群判定はどちらが難しいですか