Steinhaus_chessboard_theorem loading ...