2 * a = a + a ;
hence not a + a is square ; :: thesis: verum