わり算のたしかめの式