Cheung–Marks_theorem