theorem
  M1 is Nilpotent Idempotent implies M1=0.(K,n);
