Humanae vitae: Paul VI was proved right