demonstrations:focal_length_of_a_concave_lens