Suppose that a person with a push mower can mow a large lawn in 2 ​hours, whereas the lawn can be mowed with a riding lawn mower in 1 hours. working​ together, how long will it take to mow the​ lawn