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