Vi räknar subtraktion och räknelarven är med .