Talk:Roberts's triangle theorem