( 2 divides a iff |.2.| divides |.a.| ) by INT_2:16;
hence not |.a.| is odd by ABIAN:def 1; :: thesis: verum