Alexander Kiossev, Petya Kabakchieva “Rules” and “Roles” proof 3.4.2009