Taylor–Wiles $R = \mathbb{T}$ Theorem