Kanamori–McAloon theorem