$ZFC+GCH$