A proof