はい、そうです
あと、sage進行でお願いできますか?