$LNQ👨🏿‍🦱 $LNQ👨🏿‍🦱: theorem
👨🏿‍🦱

theorem