証明で実際の分割の構成方法はあたえているんだろうか?