Inner Product Space Properties