Haha, maybe I spend some time on it, but I hardly trust myself to do the work perfectly. Proofs are hard.