Mathematical formalism for agent-based model of proteins interaction inside cancer cell