consider r² with (:*,:*) defined by (x,y) = xₜ [ 2 0]y
[ 2 y]
is < (:*,:*) an inner product on R ²?