Beta-reductions and Beta Developments of Lambda Terms with the Least Number of Steps