kulikowskis theorem