theorem

↑