Add q.e.d. to proofs.