Logic checks out. They can keep doing layoffs until Zuck is the only employee left and the stock is worth approximately infinite dollars.