2 divides a by ABIAN:def 1;
hence a mod 2 is zero by INT_1:62; :: thesis: verum