lect7 theorem new shortcuts