Ohio Mining Company. No. 5957, in circuit court of appeals for 6th circuit, Ohio Mining Company v. commissioner of internal revenue, petition to review order of Board of Tax Appeals; brief for respondent.