5\nmid m \wedge 5\nmid n \Rightarrow (m\equiv \pm1 (mod5) \vee m\equiv \pm 2 (mod5)) \wedge (n\equiv \pm1 (mod5) \vee n\equiv \pm 2 (mod5))