assume n -root a is weightless ; :: thesis: contradiction
then (n -root a) |^ n is weightless ;
hence contradiction by POLYEQ_5:7; :: thesis: verum