По-моему та теорема к делу не относится.
Она о том, что если функция дифференцируема, то она может иметь разрывы только второго рода. А у ТС задача исследовать «подозрительные точки» на недифференцируемость. 
 Я бы сказала, что без этой теоремы прекрасно можно обойтись. Но ТС предлагал проверять существование производной, исследуя ее левый и правый пределы. В этом случае, действительно: производная модуля имеет скачок в точке 

. А если бы он был в этой точке дифференцируем, производная бы скачка иметь не могла.
И то, что ТС сказал верно просто по свойствам предела (если левый предел неравен правому, то и двусторонний предел не существует, а если оба пределы существует и равны, то и двусторонний предел тоже существует и равен обеим односторонним).
Нет, это рассуждение неверное. Производная в точке - это предел функции 

 при 

. А ТС (и вы за ним) предлагает исследовать пределы (односторонние) 
другой функции 

 при 

. Связь между этими пределами не такая простая. О ней и говорит упомянутая мной теорема.