( (c_d r) . n >= 1 & (c_d r) . n in NAT ) by DIOPHAN1:7, REAL_3:50;
hence ( (c_d r) . n is positive & (c_d r) . n is natural ) ; :: thesis: verum