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