GCH implies CH (over ZFC)