Proof of the sigmoid derivative