Seja a0 um inteiro positivo e an=5an−1+4 para todo n≥1. a0 pode ser escolhido de forma que a54 seja um múltiplo de 2013?