The equational theory of prebisimilarity over basic CCS with divergence