(0. A) |^ 1 = 0. A by BINOM:8;
hence 0. A is nilpotent ; :: thesis: verum