added simple result to sorgenfrey