Use the Law of Syllogism to form a new conditional statement that follows from the pair of true statements. If BD−→− bisects ∠ABC, then ∠ABD≅∠CBD.

If ∠ABD≅∠CBD, then m∠ABD=12( m∠ABC).