Katos Theorem