proposition2からproposition1に変更