そもそも構造化定理って可能かどうかということであって、見やすさとか読みやすさとは全く関係ないものでは