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 H e 3 x A x 3