The district court denied the application of a state prisoner for a writ of habeas corpus on the ground that state remedies had not been exhausted. The determination of the district court was required by the established facts and its judgment is