Naimark Dilation from First Principles - A rigorous undergraduate path from Hilbert spaces and POVMs to the proof and quantum information applications