Proof in just 16 minutes