Ignacio can use the Reflexive Property to prove that line BC is congruent to line BC. The Reflexive Property states that any geometric quantity is congruent to itself, which means that line segment BC is congruent to line segment BC.
So, the answer is: Reflexive property.