MG9SA.7.a Back to Square One, Eureka 49 (March 1989) 67-70
 MG9SA.7.a E(return) = #vertices, for doublestochastic irreduceable matrices