x b a x b a min A max B det C Pr A gcd A u 2 u ɛ u b a a + b term a + b c a + b c a + b c