Oseldec theorem