teixeiras theorem