AKIM is an isosceles triangle and 21 ~ 22. Name the theorem that could be used to determine LIKP~ LLMN. Then name the postulate that could be used to prove ALKP ~ ALMN.