kill(all)$

van=facebook.com/LearningCalculus$

f(x):=4*x+1$

f(1);

is(equal(f(x+y),f(x)+f(y)+1));

f(x+y);

f(x)+f(y)+1;