Faktorisierung von natürlichen Zahlen
Instanz x :: Integer eine natürliche Zahl x > 1
Beweis (y, z) :: ( Integer, Integer ) natürliche Zahlen y, z > 1 mit x = y * z