>>289
Vをひとつ定めてそこに何か付加したV'はVより大きいのでは？
そうでないなら付加した（と思った）ものはもともと入っていた、つまり何も付加していないことになる