Lemat_Ogdena loading ...