Title: Teitō shōken no riron to jitsumu