completed figure in theorem 13