བག་སྟོན་མགྲོན་ཤོག = གཉེན་སྒྲིག་བྱེད་སྒོའི་སྐབས་སྐུ་མགྲོན་གདན་འདྲེན་ཞུ་བྱེད་ཀྱི་མགྲོན་ཤོག