completed figure in theorem 12