elementary proof