Вообще говоря, мне кажется, это нужно доказывать по определению бесконечно малых - через пределы. То, что Вы написали - интуитивно понятно, но строго не обосновано.