cross-posted from: https://lemm.ee/post/31922980

math is hard