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