По моему опыту, доказательства, связанные с матрицами, могут быть сокращены на 50%, если вы выбрасывают матрицы.