О системе с примерами, фибо-паттерне, группе PROP