med ovederläggliga sifiror hvad manteoretiskt