p(x) = \textremainder of p(x) \div (x^4 - 1) \quad \textonly if \deg p < \deg(x^4 - 1) - Appfinity Technologies