Lecture 08 - Sigmoid derivative proof