Talk:Trichotomy theorem