векторҙарының өс үлсәмле ысын векторлы арауығында скаляр ҡабатландыҡты  формулаһы буйынса индереү был арауыҡты Евклид арауығына әйләндерә. Ошоға оҡшаш раҫлау теләһә ниндәй үлсәмле Евклид арауығы өсөн дөрөҫ (ул саҡта суммаға арауыҡтың  үлсәменә тигеҙ булған һанда быуындар инә).