Gravar-mail: A SIMPLIFIED PROOF OF VON NEUMANN'S COORDINATIZATION THEOREM