in order to see that take some a and define c like a module p