newcommand congruent, combinatory

under arithmetica and probability