simplify proof of universality_unit