fixed to theorem 3 plus a visual