The following theorem is due to