for F being Field
for a being Element of F
for b being non zero Element of F holds (a / b) ^2 = (a ^2) / (b ^2)