相対的にレベルが違えば、線型代数で高校数学の定理を証明するとかでもOK?