P
Initializing...
Trivial nil sublist and unit product of empty sequence · Prove2Me