modified exa1.m: give a better theorem