Redirecting to Mirimanoff's congruence