{(0. R)} in Ideals R ;
hence not Ideals R is empty ; :: thesis: verum