Green's theorem states, for a positively oriented simple boundary ,
The defining polynomial becomes
so the region is the cardioid