p\neq 3