Kerrigan human form wikipedia. Assistenza Bosch Padova. Amsthm theoremstyle proof. Pop() trong Python.