ローマ法王はバチカンにいる．