Twierdzenia Java

assert condition;
SAMER SAEID