WolframAlpha computational knowledge AI
using induction, prove 9^n-1 is divisible by 4 assuming n>0
COMPUTING...COMPUTING...