Notons bien qu'ici, le code pourrait tout à fait être prouvé par l'intermédiaire de WP sans ajouter des affaiblissements et renforcements de propriétés car le code est très simple, il s'agit juste d'illustrer la règle de conséquences.
Shi ne da za a lura cewa format kanta ba za a iya sauke da kuma tabbatar da cewa mafi kyau sakamakon da samu an rika a tabbata cewa AVCHD Codec aka sauke haka batun samun warware tare da sauƙi, kuma gamsuwa.