theorem :: XPRIMES2:1746

canceled;