A Simplified Proof For The Application Of Freivalds' Technique to Verify Matrix Multiplication