Proving Theorems On Rectangle