But take for instance a bet of 1.1 ether, difficulty of 118181817.
so now it would be
big Number * 1 million % 118181817
your proof does not work for this case, you can't divide anymore without altering the result.
so suppose you have
bigNumber % 118 =0
you don't have big Number * 1 million % 118181817