In hindsight, it is literally "based theorem". It's a theorem about exactly how much to be based.
Especially to non-native speakers, it's not at all obvious that Bayes' Theorem and Based Theorem sound almost the same since d, which reads like t, merges with th.