Deraf följer att allaenhetstal