1. Z_2 = 1 by INT_3:14;