Diller–Dress theorem