Template:Odd prime-only local analysis fact