A second type of proof in the geometry is a proof by or indirect proof?