👨🏿‍🦱

theorem