A theorem states that if for a natural number all the following statements are true:
is even or is odd
() or ()
is a prime number ()
is not divisible by . Write down conditions mentioned in this theorem as a logical statement and simplify it. Write as and as in your answer. Your answer should consist of terms and no brackets.