|.a.| = |.(- a).| by COMPLEX1:52;
hence not - a is weightless by Def3; :: thesis: verum