1 * (a |^ n) is odd ;
hence a |^ n is odd ; :: thesis: verum