Miller Rabin semi implementado