Men om det förstacorollariet