A rigorous cake filtration theory