under Ohio Revised Code (O.R.C.) § 5747.212, nonresidents may still be subject to business income tax on a portion of their gain from the sale of