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