Warfreak2: apparently pi_8 of s^5 is Z/24Z and nobody knows why



heinnnnnnn ?!?!?!