Talk:Beez's theorem