theorem :: XPRIMES2:1462

canceled;