more theorems about div