theorem :: XPRIMES2:1546

canceled;