No FAQ available that match "theorem leg length inequality"