同一律って結局なんなんですか？