The statement I just proved: If (A,m) is a commutative quasi-local ring and M is a finitely presented flat module, then M is free.