5
Note: This Lemma generalizes to all N.
Lemma (N = 2)