Cheung-Marks theorem