Premise: Following the conquest in 1453, his grave was rediscovered, and Mehmet the Conqueror erected a shrine on the spot, followed in 1458 by a mosque, the first to be built in Istanbul.

Hypothesis: The first mosque ever built in the city of Istanbul was erected in 1458.
Relation: entailment