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