Be careful of what you wish for. May will be disposed of as Tory leader before the year is out, possibly around the time of the annual conference. Remember it is not the MPs who ultimately choose the leader, it is the rank and file membership who in the past, when given the chance always pick the most right wing candidate. That membership will remember that they were denied the right to choose last time when Leadstrum was forced out of the contest by the Tory establishment whose choice has now backfired on them.
It would not surprise me if the next leader, and prime minister comes from the right of the party in the shape of Jacob Rees-Mogg. That would very likely lead to another general election 12 months later between Rees-Mogg and Corbyn.
Now whilst Corbyn and his cronies may be feeling pretty smug at the moment, it is worth remembering something; Labour did not actually win this election, May did badly because she fought an incredibility bad election claiming that she offered strong leadership when it was evident to everyone that she is actually incredibly weak and indecisive, and a Labour party with a decent leadership should have won this election. If Labour lost and a hard right Tory administration gained a working majority I wouldn't give NHS much chance of survival.