Question: Are both Trivor and Rakaposhi in Pakistan?

Context paragraphs:
Trivor: Trivor (Urdu: ترِووُر‎ ) is one of the high peaks of the Hispar Muztagh, a subrange of the Karakoram range in the Gilgit-Baltistan of Pakistan.

Taghafari: Taghafari or Tagafari is the base camp of Rakaposhi peak from Nagar side.  Rakaposhi is a mountain in the Karakoram range of Gilgit–Baltistan, Pakistan.

Rakaposhi: Rakaposhi (Urdu: ‎ ), is a mountain in the Karakoram mountain range in Pakistan.  It is situated in the middle of Nagar Valley Nagar District and Danyore and Bagrote valley approximately 100 km north of the capital city Gilgit of the semi autonomous Gilgit–Baltistan region of PaKistan.  Rakaposhi means "Snow Covered" in the local language.  Rakaposhi is also known as Dumani ("Mother of Mist" or "Mother of Clouds").  It is ranked 27th highest in the world and 12th highest in Pakistan, but it is more popular for its beauty than its rank might suggest.

Diran: Diran is a mountain in the Karakoram range in Nagar Valley, Gilgit-Baltistan, Pakistan.  This 7266 m pyramid shaped mountain lies to the east of Rakaposhi (7,788m).

Supporting paragraphs: Trivor Rakaposhi
Answer: yes