最初に満水という仮定をおき、それを絶対の真理として演繹されるわけですから
間違いはないはずです。