UIVIU

经过严谨的非严谨推导，
最终得到一个没有实际用途，
但看起来很对称的结果。