Copy of Corollary 1 to Theorem 10

[b][color=#1551b5]Corollary 1 to Theorem 10[/color][/b]
– Ronan Downes, James McGuinness

Information: Copy of Corollary 1 to Theorem 10