Majorlemma view 3