Talk:Bishop–Phelps theorem