FBI 在这帖（http://tieba.baidu.com/p/2707079028）的 4 楼提出一个定理
-----------------8<-----------------8<-----------------
Universial Theorem:
3cm=ε+λ
ε=lenth(erection(penis))=lenth(penis)
λ=max(distance(v,u)), where v, u is any point on testicle.
Corollary:
Δε-0, which means ε is a constant Infinitesimals.
中文翻译：
第一定理：
3cm是算上蛋蛋的长度的
第二定理：
3cm的3cm是无穷小常量。
----------------->8----------------->8-----------------
我想没有用 haskell 实现的定理不是好定理，於是给出一个简单的实现
λ :: [[a]] -> String
λ = (++"cm") . show . foldl1 max . map length
试运行
$ ghci
GHCi, version 7.6.3: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Prelude> (++"cm") . show . foldl1 max . map length $ ["左蛋蛋", "右蛋蛋"]
"3cm"