Question: Who was Songtsan Gampo's first wife?

Is "In 640 he married Princess Wencheng, the niece of the powerful Chinese emperor Taizong of Tang China." the correct answer?
Choose your answer from: a). yes b). no
b).