Cheung–Chau theorem

GPTKB entity