Add LUTE theorems and examples