Corollary 5 to Theorem 19

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

Information: Corollary 5 to Theorem 19