Aby udowodnić prawdziwość wzoru na mnożenie ułamków, gdzie skracamy ułamki "na krzyż", możemy skorzystać z definicji mnożenia ułamków oraz właściwości największego wspólnego dzielnika (NWD).

Załóżmy, że