theorem
  i is odd & j is odd implies i*j is odd;
