Redirecting to Fisher separation theorem