A1: the scalar of (EMLat L) = ScProductEM L by ZMODLAT2:def 4
.= (ScProductDM L) || (rng (MorphsZQ L)) by ZMODLAT2:7
.= (ScProductDM L) || the carrier of (EMLat L) by ZMODLAT2:def 4 ;
EMLat L is Submodule of DivisibleMod L by ZMODLAT2:20;
hence EMLat L is RATional by A1, ThSLGM1; :: thesis: verum