From conjecture generation by maintaining dragging to proof