The Proper Forcing Axiom and the Singular Cardinal Hypothesis

We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof is by interpolation and uses the Mapping Reflection Principle.