Minimum time optimality of a bang-bang trajectory