The things which are double of the same thing are equal to one another.
Things which are double of the same things are _____ to one another.