There is absolutely no content on these two theorems, and especially for high schoolers, I thought it might be useful to learn alongside things such as Angle Bisector Theorem.