ResPubID15194. torricellian point, inner product spaces