Dr Reasoner (see challenge 160) has come up with another rule about numbers! Her most recent claim is that if a is a positive integer, 4a³ + 5a will always be a multiple of three,

Is she correct? Can you prove you are right?