alternative theorem