is divisible by 4, we need to show that so is . Both summands are divisible by 4 (the first one because of the induction ... Some checks in Clojure.
確定! 回上一頁