indirect proof and inequalities in one triangle