module Exercise_1 where

import Test.QuickCheck

{-H1.1-}

{-WETT-}
allDistinct :: Integer -> Integer -> Integer -> Integer -> Integer -> Bool
allDistinct = undefined
{-TTEW-}


{-H1.2-}

f :: Integer -> Integer -> Integer
f = undefined

-- Ersetzen Sie hier das „True” durch die Ihre vermutete Eigenschaft.
prop_f m n = m >= 0 ==> n >= 0 ==> True

{-H1.3-}

isPower :: Integer -> Integer -> Bool
isPower = undefined