1 " < |.a.| " by XREAL_1:88, Def2;
hence a " is heavy by COMPLEX1:66; :: thesis: verum