Oseledec theorem