Many deletions are found in examples (such as tangent angle theorem) or after-school exercises (such as intersecting chord theorem). Of course, there are some. Such as cross multiplication and Vieta theorem. Some teachers will add. It mainly depends on what publishing house you are published by. There are Zhejiang Education Edition, Jiangsu Education Edition, People Education Edition and China Normal University Edition.