Class (1. R) in Classes R by Def6;
hence not Classes R is empty ; :: thesis: verum