跑完定理：因抛丸=跑完，故抛丸，而不抛球或抛蛋或抛卵。
抛丸推论：因抛丸=抛碗=泡碗=庖腕=泡玩=...，故可抛碗=泡碗=庖腕=泡玩...。
跑-碗猜想：跑完定理作者未割包皮；抛丸推论作者是个伙夫。