Nonzero kernel

Another fun algebra lemma: If R is a ring and φ : M —> N is a map of finite free R-modules with rank(M) > rank(N), then the kernel of φ is not zero.