То что я написал выше это аксиома, которая в доказательствах не нуждается.