a∈D((a,b])=[a,b] olduğundan a noktasında limitin var olup olmadığı söz konusu edilir.
b∈D((a,b])=[a,b] olduğundan b noktasında limitin var olup olmadığı da söz konusu edilir. Ancak a∉(a,b]∩D((a,b])=(a,b]∩[a,b]=(a,b] olduğundan a noktasında türevin var olup olmadığı söz konusu edilmez.
b∈(a,b]∩D((a,b])=(a,b]∩[a,b]=(a,b] olduğundan b noktasında türevin var olup olmadığı söz konusu edilir.