Talk:Schauder theorem