As letras sentenciais K, L, M e N foram utilizadas para formalizar as proposições apresentadas a seguir:

K: O triângulo ABC é congruente ao triângulo DEF

L: CA = FD

M: BC ≠ EF

N: AB = DE

A partir dessas informações, é CORRETO dizer que a formalização para “Dois triângulos são congruentes se os três lados de um são iguais, respectivamente aos três lados do outro” encontra-se na opção: