measurability theorem