1. No category

H-L Theorem