On the 4-color theorem for signed graphs. (January 2021)