[drexlspivey]

It’s interesting that people in a CS forum don’t seem to know what a theorem is. The tablet shows that the relationship was known, a theorem needs a proof