>>179
Av=(E-sv*tv)v=v-sv*(tv*v)=v-sv|v|^2=(1-s|v|^2)v