triangle inequality, perimeter, area, Oppenhim theorem