prove mathd_algebra_484

[cuppajoeman]

I had to add the import:

import analysis.special_functions.logb

to the imports file, I hope that's ok.

[spolu]

Yes no problem