Theorem: If \(n\equiv7\) (mod 2), then \(n\equiv3\) (mod 2).