insert theorems without proving them with BUGGY condition till real module
insert theorems without proving them with BUGGY condition till real module
insert theorems without proving them with BUGGY condition till real module