theorem m is zero implies m-tuples_on Y={{}} by Lm6; ::#Th10
