Körner-Marton theorem for binary modulo-two sum problem from canonical equations | IEEE Conference Publication | IEEE Xplore