A simple proof of the Fredholm Alternative

In this expository note, we present a simple proof of the Fredholm Alternative for compact operators that are norm limits of finite rank operators. We also prove a Fredholm Alternative for pseudodifferential operators of order < 0.