P
Initializing...
Corollary 4: nearby channels admit nearby complementary channels · Prove2Me