Dodal trditev o edinih končnih nelokalnih komutativnih enotskih kolobarjih z ravninskim totalnim grafom