modulo lucas