moessners theorem