Boggio's theorem