Non-three-colorable common graphs exist - Hatami, Hamed (ITI Series ;, 2011)