Proving An Inner Product Space