Every diassociative A-loop is Moufang
  An A-loop is a loop in which every inner mapping is an automorphism. We settle a problem which had been open since 1956 by showing that every diassociative A-loop is Moufang. 
Michael K. Kinyon, Kenneth Kunen, J.D. Phillips