math 3 11

abc gcd abc ab ab i 0 n ai0 apply_to_list and map lambda i gt vector_selector i a 0 integer_interval 0 n i=0 n ( ai > 0 ) ab ab ab axorb a ¬a AB AB x xx 0 x . xx = 0 p q p q pq p q2 forall p q implies and in p Q in q Q ltpq lt p power q 2 pQ qQ (p<q) . p<q2 p,q . ( pQ qQ (p<q) ) ( p < q2 ) x fx 0 x . fx = 0 x fx 0 exists x and in x Z eq fx 0 x . xZ fx = 0 x |x| x y x + y ¯ x y arg x + iy x y x + iy x y x + iy abc lcm abc a a a a 24 12 2/4 = 1/2 34 34 32 3>2 234 2<3<4