( |.a.| " <> 0 & |.a.| " <> 1 " ) by Def3;
hence not a " is weightless by COMPLEX1:66; :: thesis: verum