Hence Proved!