freyds theorem