Done following proposition 2.