Theorems on rectangle​