not sqrt {(0. A)} is empty ;
hence not nilrad A is empty by Th27; :: thesis: verum