これは "b" のすべての "b" に対して "b" ＝("b" - "qt"("b"))+ "qt"("b")であることから従う。