fundamental proof methods in computer science fundamental proof of calculus proof fundamental theorem of calculus proof fundamental theorem of arithmetic proof fundamental theorem of algebra proof fundamental group of a circle proof fundamental homomorphism theorem fundamental theorem proof fundamental math proofs gauss proof fundamental theorem of algebra