Deducción natural/Carga de premisa

$\vdash$	${\begin{array}{l}p\to q\to p\\{\begin{array}{|l|}\hline p\\{\begin{array}{|l|}\hline q\\{\begin{array}{|l|}\hline \lnot p\quad \\\bot \\\hline \end{array}}\quad \\p\\\hline \end{array}}\quad \\q\to p\\\hline \end{array}}\\p\to q\to p\end{array}}$
$1.$		$Supuesto$
$2.$		$Supuesto$
$3.$		$Supuesto$
$4.$		$I\land \quad 1,\ 3$
$5.$		$I\ \lnot \quad 3-4$
$6.$		$I\to \quad 2-5$
$7.$		$I\to \quad 1-6$