Added an example to proof using splitting