ON COMPATIBILITY OF THEORIES AND EQUIVALENT