Blanchet Theorem