Доказательство параллельности прямых по сумме односторонних углов основывается на теореме о параллельности прямых при равных накрест лежащих углах, поэтому, сначала нужно доказать именно её. Это представлено на втором фото, а теорема про сумму односторонних углов - на первом.