Botvand^l , b et az ad c uttagasertsattningen