>>800
>命題Aを仮定すると、命題Bを仮定することにはなるが

はい、命題Bを仮定していますね