Euclid’s Definitions 13-15