freedman theorem