Ko inconmensurabilidad oñe'ẽ hína umi Euclides elemento-kuéra rehe, aranduka X, Proposición 9.