To prove that triangle cap l cap m cap n approximates triangle cap x cap y cap z by the SAS similarity theorem, it also needs to be shown that