*Hanako-wa kousite sono teiri-o syomeisita . Taro-wa kono teiri-o pro/soosite syomeisita .
Hanako-NOM in this way that theorem-ACC proved Taro-NOM this theorem-ACC pro/in that way proved
Hanako proved that theorem this way. Taro proved this theorem pro/in that way.