teorema loc