Prove that for all nonzero integers a, b, and c, if a | b and b | c then a | c. Use the method of exhaustion to prove that for all integers m between 30 and 40 inclusive (that is for 30 m < 40), if m is even and then m can be written as a sum of two prime numbers.