Notes I publish these notes here for pedagogical purposes. They may or may not conatina new theorems. A Proof Of The \(\Delta\)-System Lemma Using Elementary Submodels Finite Support Product of Strongly Proper Forcings