シローの定理は群論の定理だけど、群論の公理からどうやって証明するの?
無理だよね?