Mirimanoff's congruence (source code)

= Mirimanoff's congruence
{wiki=Mirimanoff's_congruence}