theorem :: XPRIMES2:1776

canceled;