1. No category

E(x) 증명. [6]