Add proof example to KCM + STH section