The proof you need

by Trevor Van Meter