de guas theorem