af fyrktals-sättningen , nemligen att för5