Add LUTE theorems